Module-based Synthesis of Behavioral Verilog Descriptions to Asynchronous Circuits
نویسندگان
چکیده
In this paper we present a design tool for automatic synthesis of Verilog behavioral description of an asynchronous circuit into delay insensitive presynthesized library modules, using syntax directed techniques. Our design tool can also generate appropriate output to support implementing the circuit on ASICs and LUT-based FPGAs consequently rapid prototyping of the asynchronous circuit becomes readily available using the proposed tool. General Terms Design, Languages
منابع مشابه
Automated High-Level Synthesis of Low Power/Area Approximate Computing Circuits
Many classes of applications, especially in the domains of signal and image processing, computer vision, and machine learning, are inherently tolerant to inaccuracies in their underlying computations. This tolerance can be exploited to design approximate circuits that perform within acceptable accuracies but have much lower power consumption and smaller area footprints than their exact counterp...
متن کاملAn efficient CAD tool for High-Level Synthesis of VLSI digital transformers
Digital transformers are considered as one of the digital circuits being widely used in signal and data processing systems, audio and video processing, medical signal processing as well as telecommunication systems. Transforms such as Discrete Cosine Transform (DCT), Discrete Wavelet Transform (DWT) and Fast Fourier Transform (FFT) are among the ones being commonly used in this area. As an illu...
متن کاملPractical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS
In this paper we present several practical methods for formally verifying an Asynchronous Transfer Mode (ATM) network switching fabric using the Verification Interacting with Synthesis (VIS) tool. We produced Verilog RTL behavioral and netlist structural descriptions of the switch fabric at different levels of hierarchy and established several abstracted models of the fabric. Using various tech...
متن کاملAutomatic Generation of Pausible Clock Based GALS Wrapper Circuits
In this paper we propose a method to generate pausible clock based GALS wrapper circuits from the synchronous module’s Verilog specification code automatically. We first parse the input module specification and produce wrapper circuit components based on the specification of entered synchronous module. Existing methods for generation of the wrapper circuit waste the die size because they instan...
متن کاملTechnical Report No. CE-J97-003: Synthesis of Power-Optimized Circuits from Hierarchical Behavioral Descriptions
The increasing market for portable and mobile electronics has made power consumption a critical design issue. In this work, we address the problem of synthesizing power-optimized architectures from hierarchical behavioral descriptions. Preserving and using the hierarchical information during synthesis leads to similar or superior quality designs in much less run-time. Our system can handle arbi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004